Software-Based Receipt-Freeness in On-Line Elections
نویسندگان
چکیده
11 A Role-Based Specification of the SET Payment Transaction Protocol Hideki Sakurada, Yasuyuki Tsukada Information Security: Mutual Authentication in E-Commerce S. H. Von Solms, M. V. Kisimov Software-Based Receipt-Freeness in On-Line Elections Emmanouil Magkos, Vassilios Chrissikopoulos, Nikos Alexandris ID-Based Structured Multisignature Schemes ChihY i n Lin, TzongChen Wu, JingJang Hwang Probabilistic Relations for the Solitaire Keystream Generator Marina Pudovkina Hazard Analysis for Security Protocol Requirements Nathalie Foster, Jeremy Jacob Securing RMI Communication Vincent Naessens, Bart Vanhaute, Bart De Decker Secure Java Development With UML Jan Jürjens Security Through Aspect-Oriented Programming Bart De Win, Bart Vanhaute, Bart De Decker Extending a Campus Network with Remote Bubbles using IPsec Aurélien Bonnet, Marc Lobelle Combining World Wide Web and Wireless Security Joris Claessens, Bart Preneel, Joos Vandewalle vii ix
منابع مشابه
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadequacies in implemented systems. These inadequacies provide additional motivation for applying formal methods to the validation of electronic voting protocols. In this paper we report on some of our recent efforts in using the ap...
متن کاملReceipt - Free Electronic Voting
This paper proposes practical receipt-free voting schemes which are suitable for (nation wide) large scale elections. One of the proposed scheme requires the help of the voting commission, and needs a physical assumption, the existence of an untappable channel. The other scheme does not require the help of the commission, but needs a stronger physical assumption, the existence of a voting booth...
متن کاملReceipt-Freeness in Large-Scale Elections without Untappable Channels
For an electronic election to be fully democratic there is a need for security mechanisms that will assure the privacy of the voters. With receipt-free electronic voting, a voter neither obtains nor is able to construct a receipt proving the content of her vote. In this paper we first consider the minimal requirements for receipt-free elections, without untappable communication channels between...
متن کاملFormalising security properties in electronic voting protocols
While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadequacies in implemented systems. These inadequacies provide additional motivation for applying formal methods to the validation of electronic voting protocols. In this paper we report on some of our recent efforts in using the ap...
متن کاملA Formal Logic Framework for Receipt-freeness in Internet Voting Protocol
The practical Internet voting protocols should have: privacy, completeness, soundness, unreusability, fairness, eligibility, and invariableness, universal verifiability, receipt-freeness, coercion-resistant. Receiptfreeness is a key property. Receipt-freeness means that the voter can't produce a receipt to prove that he votes a special ballot. Its purpose is to protect against vote buying. Form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001